Failure logic modelling : a pragmatic approach

................................................................................................................................. 3 TABLE OF CONTENTS ..................................................................................................................... 4 LIST OF FIGURES......................................................................................................................... 11 LIST OF TABLES .......................................................................................................................... 15 ACKNOWLEDGEMENTS ................................................................................................................ 17 AUTHOR’S DECLARATION ............................................................................................................. 18 CHAPTER 1: INTRODUCTION .................................................................................................. 19 1.1 FOREWORD: THE EVOLUTION OF SAFETY ANALYSIS METHODS........................................................ 19 1.1.1 TRADITIONAL SAFETY ASSESSMENT METHODS ................................................................................19 1.1.2 FAILURE LOGIC MODELLING METHODS ..........................................................................................22 1.1.2.1 Illustration...........................................................................................................................23 1.1.2.2 Claimed Benefits of Failure Logic Modelling ......................................................................26 1.2 RESEARCH CHALLENGES ......................................................................................................... 27 1.2.1 COMPLEXITY OF BEHAVIOUR ........................................................................................................27 1.2.2 COMPOSITION OF MULTIPLE FAILURE LOGIC MODELS ......................................................................29 1.2.3 CONCEPTUAL INTEGRITY AND LANGUAGE INDEPENDENCE .................................................................31 1.3 MOTIVATION ....................................................................................................................... 32 1.4 THESIS PROPOSITION............................................................................................................. 33 1.5 THESIS STRUCTURE................................................................................................................ 33 CHAPTER 2: LITERATURE SURVEY ........................................................................................... 35 2.1 SAFETY ENGINEERING, ASSESSMENT AND TERMINOLOGY............................................................... 36 2.1.1 KEY TERMINOLOGY OF SYSTEM SAFETY ..........................................................................................36 2.1.2 SYSTEM SAFETY ENGINEERING, ASSESSMENT AND LIFECYCLE .............................................................37 2.1.3 SCOPE OF THE PRESENT RESEARCH ................................................................................................41 2.2 CLASSICAL SAFETY ASSESSMENT METHODS ................................................................................ 41 2.2.1 INDUCTIVE METHODS .................................................................................................................42 2.2.2 DEDUCTIVE METHODS.................................................................................................................44 2.2.3 ‘BOWTIE’ METHODS ...................................................................................................................49 2.2.4 DISCUSSION...............................................................................................................................52 5 2.3 FAILURE LOGIC MODELLING METHODS.......................................................................................52 2.3.1 FPTN .......................................................................................................................................53 2.3.2 HIP-HOPS ................................................................................................................................55 2.3.3 OTHER METHODS AND VARIANTS..................................................................................................57 2.4 OTHER MODEL-BASED SAFETY ASSESSMENT APPROACHES .............................................................58 2.4.1 FAILURE INJECTION APPROACH .....................................................................................................59 2.4.2 FAILURE EFFECTS MODELLING APPROACH ......................................................................................62 2.4.3 HYBRID APPROACHES ..................................................................................................................63 2.4.4 MODEL-BASED SAFETY ASSESSMENT: SUMMARY.............................................................................66 2.5 MODELLING LANGUAGES ........................................................................................................68 2.5.1 ALTARICA AND ASSOCIATED DIALECTS............................................................................................69 2.5.2 THE ARCHITECTURE ANALYSIS & DESIGN LANGUAGE ........................................................................72 2.5.3 LANGUAGE SELECTION.................................................................................................................75 2.6 CONCLUSIONS.......................................................................................................................75 CHAPTER 3: UNIFYING FAILURE LOGIC METAMODEL...............................................................77 3.